Словарь по логике - непротиворечия закон

логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название закона закон противоречия,  подчеркивающее, что закон отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости.

Противоречат друг другу, напр., высказывания: "Фобос спутник Марса" и "Фобос не является спутником Марса", "Кентавры существуют" и "Кентавры не существуют" и т. п. Большинство неверных толкований Н. з. и большая часть попыток оспорить его приложимость если не во всех, то хотя бы в отдельных областях связаны с неправильным пониманием логического отрицания, а значит, и логического противоречия.

Нет, в частности, противоречия в утверждении "Листва опала и не опала", подразумевающем, что некоторые деревья уже сбросили листву, а другие нет, в утверждении "Человек и ребенок, и старик", выражающем идею, что один и тот же человек в начале своей жизни ребенок, а в конце ее старик, и т. п.

Введя понятия истины и лжи, Н. з. можно сформулировать так: никакое высказывание не является одновременно истинным и ложным. Истина и ложь две несовместимые характеристики высказывания. Истинное высказывание соответствует действительности, ложное не соответствует ей. Закон отрицает, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему.

Иногда Н. з. формулируют таким образом: из двух противоречащих друг другу высказываний одно является ложным. Эта формулировка подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию заведомо ложное положение, что, разумеется, недопустимо.

С использованием символики логической (р некоторое высказывание; & конъюнкция, "и"; ~ отрицание, "неверно, что") Н. з. выражается формулой:

~(р&~р),

неверно, что р и не-р. Напр.: "Неверно, что глина металл и что она не металл", "Неверно, что птицы летают и что они не летают" и т. п.

Логические противоречия противоречия непоследовательного, путаного рассуждения принципиально отличны от противоречий диалектических. Н. з. запрещает первые, но он не распространяется на вторые. О диалектике развития и борьбе противоположных сторон, определяющей развитие, нужно рассуждать последовательно и непротиворечиво, как и обо всем другом.